3+2 Joint B.S./M.S. in Computational Linguistics Students must complete the College of Arts and Sciences Education (CASE) requirements. B.S./M.S. coursework can count towards the Social and Historical Studies and Natural

Source URL: cl.indiana.edu

• Cognitive science
• Syntax
• Computer science
• Language
• Linguistics
• Informatics
• Analysis
• Logic

Appendix K: Bibliography [1] R. L. Wilder. Cultural Basis of Mathematics I, II, III http://www.gap-system.org/~history/Extras/Cultural_Basis_I.html http://www.gap-system.org/~history/Extras/Cultural_Basis_II.html http://

Source URL: www.wolframfoundation.org

• Mathematics
• Computing
• Academia
• Algorithmic Number Theory Symposium
• Computational number theory
• OMDoc
• Mathematical logic
• Proof theory
• Gerald Schwarz
• Colette Rolland

On the Computational Content of the Bolzano-Weierstraß Principle∗ Pavol Safarik and Ulrich Kohlenbach Department of Mathematics Technische Universität Darmstadt Schlossgartenstraße 7, 64289 Darmstadt, Germany

Source URL: www.mathematik.tu-darmstadt.de

• Proof theory
• Logic
• Mathematical logic
• Mathematics
• Computability theory
• Primitive recursive functional
• Dialectica interpretation
• Combinatory logic
• Continuous function

CHAPTER XX Credibility assessment and inference for fusion of hard and soft information R.C.Núñez*, T.L.Wickramarathne*, K.Premaratne*, M.N.Murthi*, S.Kübler‡,

Source URL: cl.indiana.edu

• Logic
• Computational linguistics
• Belief
• Philosophy
• Natural language processing
• Speech recognition
• DempsterShafer theory
• Inference
• SemEval
• Resolution
• Source credibility
• Data fusion

Fitting’s Embedding of Classical Logic in S4 and Trace Properties in the Computational Model (Extended Abstract) Gergei Bana INRIA Paris, France

Source URL: software.imdea.org

• Logic
• Mathematical logic
• Non-classical logic
• Philosophical logic
• Predicate logic
• Model theory
• First-order logic
• Barcan formula
• Modal logic
• KeY

On the Study of the Ethernet Franz T. Shenkrishnan, Ph.D. 1 Motivation

Source URL: pdos.csail.mit.edu

• Applied mathematics
• Computational neuroscience
• Computational statistics
• Algorithm
• Mathematical logic
• Theoretical computer science
• Artificial neural network
• Mathematics

B.S. in Computational Linguistics Students must complete the College of Arts and Sciences Education (CASE) requirements. B.S./M.S. coursework can count towards the Social and Historical Studies and Natural and Mathematic

Source URL: cl.indiana.edu

• Cognitive science
• Formal sciences
• Artificial intelligence
• Computer science education
• Informatics
• Information science
• Computer science
• Logic
• Computational linguistics

Fixed-Domain Reasoning for Description Logics Sarah Gaggl, Sebastian Rudolph, Lukas Schweizer Technische Universit¨at Dresden Computational Logic Group

Source URL: ddll.inf.tu-dresden.de

Synthesizing Bots Emotional Behaviors through Fuzzy Cognitive Processes Giovanni Acampora, Member, IEEE, Fabio Ferraguto, and Vincenzo Loia , Senior Member, IEEE Abstract— Video games are one of the most significative

Source URL: game.itu.dk

• Artificial intelligence
• Control engineering
• Fuzzy logic
• Logic in computer science
• Fuzzy control system
• Timed automaton
• Petri net
• Control system
• Finite-state machine
• Emotion
• Computational intelligence

LEARNING CIRCUITS AND NETWORKS BY INJECTING VALUES 1

Source URL: www.levreyzin.com

• Computational complexity theory
• Theory of computation
• Theoretical computer science
• Circuit complexity
• Complexity classes
• Logic in computer science
• Clique problem
• Boolean circuit
• Clique
• Circuit
• ACC0
• NC